Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
251	Bregman Divergence and Mirror Descent 1 Bregman Divergence Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2013-12-27 03:32:34 Mathematics Logic Analysis Linear temporal logic Functional analysis Distribution Interpretation
252	TUM ¨ R INFORMATIK INSTITUT FU Runtime verification revisited Oliver Arafat, Andreas Bauer, Martin Leucker, Christian Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:37 Formal languages Computer science Applied mathematics Linear temporal logic Temporal logic Ω-automaton Deterministic finite automaton Nondeterministic finite automaton Model theory Automata theory Theoretical computer science Models of computation
253	99 Biometric yet Privacy Protecting Person Authentication Gerrit Bleumer Add to Reading List Source URL: www.semper.org Language: English - Date: 2011-10-26 07:23:48 Symbol Constructible universe Linear temporal logic
254	An Overview of the Runtime Verification Tool Java PathExplorer Klaus Havelund Kestrel Technology NASA Ames Research Center California, USA Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:12:55 Temporal logic Mathematics Computing Formal methods Linear temporal logic Model checking Runtime verification Java Pathfinder Deadlock Theoretical computer science Concurrency Logic in computer science
255	Runtime Verification Using a Temporal Description Logic Franz Baader,1 Andreas Bauer,2 and Marcel Lippmann1 1 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-07-15 21:37:58 Mathematical logic Formal languages Metalogic Linear temporal logic Temporal logic Interpretation Dynamical system Satisfiability Function Logic Model theory Mathematics
256	Comparing LTL Semantics for Runtime Verification Andreas Bauer1 , Martin Leucker2 , and Christian Schallhart2 1 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-03-20 22:03:52 Metalogic Linear temporal logic Model theory Interpretation Modal logic Function Entailment Logic Temporal logic Philosophical logic
257	Experiences in the Logical Specification of the HIPAA and GLBA Privacy Laws Henry DeYoung Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Mathematical logic Model theory Privacy Semantics Philosophical logic Health Insurance Portability and Accountability Act Linear temporal logic First-order logic Modal logic Logic Privacy law Ethics
258	Description of the thesis: Study of classes of regular cost functions. Denis Kuperberg 1 Brief Description The goal of the thesis was to study the recent theory of regular cost functions. Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-04-14 07:49:08 Semigroup theory Theoretical computer science Category theory Applied mathematics Semiautomaton Monoid Regular language Syntactic monoid Linear temporal logic Formal languages Automata theory Mathematics
259	Evaluation of Time-Order Error Predictions from a Model of Global Psychophysics Ragnar Steingrimsson and R. Duncan Luce Institute for Mathematical Behavioral Science University of California, Irvine Ragnar Steingrimsson Add to Reading List Source URL: www.imbs.uci.edu Language: English - Date: 2014-11-04 13:01:50 Interpretation Model theory Philosophy of language Philosophy of mind Semantics Psi Function Constructible universe Linear temporal logic Mathematics Logic Mathematical logic
260	Policy Auditing over Incomplete Logs: Theory, Implementation and Applications Deepak Garg Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Mathematics Model theory Semantics First-order logic Linear temporal logic Function Atomic formula Quantification Predicate Logic Mathematical logic Predicate logic

UPDATE